Alouane, Nejib Ben Hadj : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (52)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC) - Limassol, Cyprus (2018.6.25-2018.6.29)] 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC) - PA-RPL: A Partition Aware IoT Routing Protocol For Precision Agriculture

Fathallah, Karim, Abid, Mohamed Amine, Hadj-Alouane, Nejib Ben

Année:

2018

Langue:

english

Fichier:

PDF, 10.84 MB

english, 2018

2

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || MobiDisc: Semantic Web Service Discovery Approach in Mobile Environments

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 981 KB

english, 2015

3

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || Using COBIT 5 for Risk to Develop Cloud Computing SLA Evaluation Templates

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 156 KB

english, 2015

4

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || A Lightweight User State Monitoring System on Android Smartphones

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 2.72 MB

english, 2015

5

[IEEE 2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC) - Tangier, Morocco (2019.6.24-2019.6.28)] 2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC) - Routing Of Spatial Queries Over IOT Enabled Wireless Sensor Networks

Fathallah, Karim, Abid, Mohamed Amine, Ben Hadj-Alouane, Nejib

Année:

2019

Langue:

english

Fichier:

PDF, 2.02 MB

english, 2019

6

[IEEE 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) - Guangzhou, China (2019.11.10-2019.11.13)] 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) - Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach

Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib

Année:

2019

Langue:

english

Fichier:

PDF, 163 KB

english, 2019

7

Enhancing Energy Saving in Smart Farming through Aggregation and Partition Aware IOT Routing Protocol

Fathallah, Karim, Abid, Mohamed Amine, Ben Hadj-Alouane, Nejib

Journal:

Année:

2020

Fichier:

PDF, 8.01 MB

2020

8

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation

Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin

Journal:

Discrete Event Dynamic Systems

Année:

1996

Langue:

english

Fichier:

PDF, 3.12 MB

english, 1996

9

Developing control and integration software for flexible manufacturing systems

Nejib Ben Hadj-Alouane, Jarir K. Chaar, Arch W. Naylor

Journal:

Journal of Systems Integration

Année:

1991

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1991

10

[IEEE 2012 24th Chinese Control and Decision Conference (CCDC) - Taiyuan, China (2012.05.23-2012.05.25)] 2012 24th Chinese Control and Decision Conference (CCDC) - Modeling and control of constant speed Dynamic Hybrid Systems using Extended Time Petri Networks

El Touati, Yamen, Ben Hadj Alouane, Nejib, Yeddes, Moez

Année:

2012

Langue:

english

Fichier:

PDF, 278 KB

english, 2012

11

[IEEE 2014 IEEE International Conference on Services Computing (SCC) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE International Conference on Services Computing - A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions

Abbassi, Imed, Graiet, Mohamed, Gaaloul, Walid, Alouane, Nejib Ben Hadj

Année:

2014

Langue:

english

Fichier:

PDF, 374 KB

english, 2014

12

[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B

Abbassi, Imed, Kmimech, Mourad, Hadj-Alouane, Nejib Ben, Gaaloul, Walid

Année:

2014

Langue:

english

Fichier:

PDF, 206 KB

english, 2014

13

[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach

Abbassi, Imed, Graiet, Mohamed, Hadj-Alouane, Nejib Ben

Année:

2014

Langue:

english

Fichier:

PDF, 390 KB

english, 2014

14

[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - An On-the-Fly Approach for the Verification of Opacity in Critical Systems

Klai, Kais, Hamdi, Nawel, Hadj-Alouane, Nejib Ben

Année:

2014

Langue:

english

Fichier:

PDF, 182 KB

english, 2014

15

[IEEE 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS) - Tianjin, China (2014.8.4-2014.8.7)] 2014 19th International Conference on Engineering of Complex Computer Systems - A Behavior-Aware Systematic Approach for Merging Business Process Fragments

Zemni, Mohamed Anis, Mammar, Amel, Alouane, Nejib Ben Hadj

Année:

2014

Langue:

english

Fichier:

PDF, 169 KB

english, 2014

16

[IEEE 2011 23rd Chinese Control and Decision Conference (CCDC) - Mianyang, China (2011.05.23-2011.05.25)] 2011 Chinese Control and Decision Conference (CCDC) - Computing the infimal superlanguage for generalized observability

Ben Said, Achraf, Lin, Feng, Ben Hadj-Alouane, Nejib, Yeddes, Moez

Année:

2011

Langue:

english

Fichier:

PDF, 319 KB

english, 2011

17

[IEEE 2014 IEEE 7th International Conference on Cloud Computing (CLOUD) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE 7th International Conference on Cloud Computing - Optimal Virtual Machine Placement in Large-Scale Cloud Systems

Teyeb, Hana, Balma, Ali, Alouane, Nejib Ben Hadj, Tata, Samir

Année:

2014

Langue:

english

Fichier:

PDF, 363 KB

english, 2014

18

A MIXED INTEGER DYNAMIC PROGRAMMING APPROACH TO A CLASS OF OPTIMAL CONTROL PROBLEMS IN HYBRID SYSTEMS

Hadj-Alouane, Nejib Ben, Yeddes, Moez, Hadj-Alouane, Atidel B., Lin, Feng

Journal:

Cybernetics & Systems

Année:

2006

Langue:

english

Fichier:

PDF, 221 KB

english, 2006

19

[IEEE 2014 International Conference on Control, Decision and Information Technologies (CoDIT) - Metz, France (2014.11.3-2014.11.5)] 2014 International Conference on Control, Decision and Information Technologies (CoDIT) - Traffic-aware virtual machine placement in geographically distributed Clouds

Teyeb, Hana, Balma, Ali, Hadj-Alouane, Nejib Ben, Tata, Samir, Hadj-Alouane, Atidel B.

Année:

2014

Langue:

english

Fichier:

PDF, 845 KB

english, 2014

20

[ACM Press International Conference - Vienna, Austria (2013.12.02-2013.12.04)] Proceedings of International Conference on Information Integration and Web-based Applications & Services - IIWAS '13 - Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach

Zemni, Mohamed Anis, Hadj-Alouane, Nejib Ben, Mammar, Amel

Année:

2013

Langue:

english

Fichier:

PDF, 102 KB

english, 2013

21

[IEEE 2015 IEEE International Conference on Web Services (ICWS) - New York, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE International Conference on Web Services - A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B

Abbassi, Imed, Graiet, Mohamed, Boubaker, Souha, Kmimech, Mourad, Hadj-Alouane, Nejib Ben

Année:

2015

Langue:

english

Fichier:

PDF, 602 KB

english, 2015

22

[IEEE 2015 IEEE International Conference on Services Computing (SCC) - New York City, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE International Conference on Services Computing - Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process

Boubaker, Souha, Gaaloul, Walid, Graiet, Mohamed, Hadj-Alouane, Nejib Ben

Année:

2015

Langue:

english

Fichier:

PDF, 422 KB

english, 2015

23

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || A Description-Based Service Search System

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 294 KB

english, 2015

24

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || Dynamic QoS Requirement Aware Service Composition and Adaptation

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 464 KB

english, 2015

25

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || Supporting Enterprise Changes Using Actor Performance Assessment

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 1.80 MB

english, 2015

26

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || Semantic Web Services Approach for Collaboration in E-Gov Context

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 493 KB

english, 2015

27

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || Towards a Framework for Semantically-Enabled Compliance Management in Financial Services

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 2.00 MB

english, 2015

28

[IEEE 2015 IEEE International Conference on Web Services (ICWS) - New York, NY, USA (2015.6.27-2015.7.2)] 2015 IEEE International Conference on Web Services - Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs

Bourouis, Amina, Klai, Kais, El Touati, Yamen, Hadj-Alouane, Nejib Ben

Année:

2015

Langue:

english

Fichier:

PDF, 246 KB

english, 2015

29

[Lecture Notes in Computer Science] Service-Oriented Computing - ICSOC 2014 Workshops Volume 8954 || Vertical Scaling Capability of OpenStack

Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami

Année:

2015

Langue:

english

Fichier:

PDF, 428 KB

english, 2015

30

Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata

Derbel, Haithem, Hadj-Alouane, Nejib Ben, Yeddes, Moez, Alla, Hassane

Journal:

IFAC Proceedings Volumes

Année:

2009

Langue:

english

Fichier:

PDF, 213 KB

english, 2009

31

An automated approach for merging business process fragments

Zemni, Mohamed Anis, Mammar, Amel, Hadj-Alouane, Nejib Ben

Journal:

Computers in Industry

Année:

2016

Langue:

english

Fichier:

PDF, 2.04 MB

english, 2016

32

A scenario approach for a capacity planning problem with stochastic demands

Ettien, Aman Isaac, Alouane, Nejib Ben Hadj, Alouane, Atidel Boubaker Hadj

Journal:

International Journal of Logistics Systems and Management

Année:

2007

Langue:

english

Fichier:

PDF, 534 KB

english, 2007

33

A branch-and-price approach for an integrated capacity dimensioning and demand routing in SDH/WDM networks

Balma, Ali, Alouane, Nejib Ben Hadj, Alouane, Atidel Boubaker Hadj

Journal:

International Journal of Business Performance and Supply Chain Modelling

Année:

2011

Langue:

english

Fichier:

PDF, 232 KB

english, 2011

34

An approach for the synthesis of decentralised supervisors for distributed adaptive systems

Seboui, Amine Belhaj, Alouane, Nejib Ben Hadj, Delaval, Gwenael, Rutten, Eric, Yeddes, Moez

Journal:

International Journal of Critical Computer-Based Systems

Année:

2011

Langue:

english

Fichier:

PDF, 391 KB

english, 2011

35

[IEEE 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2016.6.13-2016.6.15)] 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Evaluation of Traffic-Aware VM Placement Policies in Distributed Cloud Using CloudSim

Benali, Raja, Teyeb, Hana, Balma, Ali, Tata, Samir, Ben Hadj-Alouane, Nejib

Année:

2016

Langue:

english

Fichier:

PDF, 292 KB

english, 2016

36

On the Verification of Opacity in Web Services and their Composition

Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib, El Touati, Yamen

Journal:

IEEE Transactions on Services Computing

Année:

2016

Langue:

english

Fichier:

PDF, 984 KB

english, 2016

37

[IEEE 2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN) - Rome, Italy (2016.6.13-2016.6.15)] 2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN) - A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment

Bibani, Ons, Yangui, Sami, Glitho, Roch H., Gaaloul, Walid, Ben Hadj-Alouane, Nejib, Morrow, Monique J., Polakos, Paul A.

Année:

2016

Langue:

english

Fichier:

PDF, 413 KB

english, 2016

38

Online Diagnosis of Systems with Rectangular Hybrid Automata Models

Derbel, Haithem, Alla, Hassane, Hadj-Alouane, Nejib Ben, Yeddes, Moez

Journal:

IFAC Proceedings Volumes

Année:

2009

Langue:

english

Fichier:

PDF, 234 KB

english, 2009

39

[IEEE 2016 IEEE 9th International Conference on Cloud Computing (CLOUD) - San Francisco, CA, USA (2016.6.27-2016.7.2)] 2016 IEEE 9th International Conference on Cloud Computing (CLOUD) - Traffic-Aware Virtual Machine Migration Scheduling Problem in Geographically Distributed Data Centers

Teyeb, Hana, Balma, Ali, Tata, Samir, Ben Hadj-Alouane, Nejib

Année:

2016

Langue:

english

Fichier:

PDF, 502 KB

english, 2016

40

[IEEE 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) - Luxembourg, Luxembourg (2016.12.12-2016.12.15)] 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) - A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment

Bibani, Ons, Mouradian, Carla, Yangui, Sami, Glitho, Roch H., Gaaloul, Walid, Hadj-Alouane, Nejib Ben, Morrow, Monique, Polakos, Paul

Année:

2016

Langue:

english

Fichier:

PDF, 629 KB

english, 2016

41

Optimal Dynamic Placement of Virtual Machines in Geographically Distributed Cloud Data Centers

Teyeb, Hana, Hadj-Alouane, Nejib Ben, Tata, Samir, Balma, Ali

Journal:

International Journal of Cooperative Information Systems

Année:

2017

Langue:

english

Fichier:

PDF, 2.38 MB

english, 2017

42

Hardware Architectures for Embedded Speaker Recognition Applications

Bouraoui, Hasna, Jerad, Chadlia, Chattopadhyay, Anupam, Hadj-Alouane, Nejib Ben

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2017

Langue:

english

Fichier:

PDF, 1.39 MB

english, 2017

43

Discrete event systems approach to the verification of the information flow properties in secure protocols

Hadj-alouane, Nejib Ben, Mullins, John, Yeddes, Moez, Lafrance, Stéphane, Lin, Feng

Journal:

IFAC Proceedings Volumes

Année:

2004

Langue:

english

Fichier:

PDF, 7.67 MB

english, 2004

44

[IEEE 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2017.10.30-2017.11.3)] 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) - ParallelCharMax: An Effective Maximal Frequent Itemset Mining Algorithm Based on MapReduce Framework

Gahar, Rania Mkhinini, Arfaoui, Olfa, Hidri, Minyar Sassi, Hadj-Alouane, Nejib Ben

Année:

2017

Langue:

english

Fichier:

PDF, 254 KB

english, 2017

45

[IEEE 2017 IEEE International Conference on Services Computing (SCC) - Honolulu, HI, USA (2017.6.25-2017.6.30)] 2017 IEEE International Conference on Services Computing (SCC) - Computing Quantified Opacity for SOG-Abstracted Web Services

Burouis, Amina, Hadj-Alouane, Nejib Ben, Klai, Kais

Année:

2017

Langue:

english

Fichier:

PDF, 253 KB

english, 2017

46

Checking Opacity of Vulnerable Critical Systems On-The-Fly

Bourouis, Amina, Klai, Kais, El Touati, Yamen, Ben Hadj-Alouane, Nejib

Journal:

International Journal of Information Technology and Web Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 1011 KB

english, 2015

47

Checking Opacity of Vulnerable Critical Systems On-The-Fly

Bourouis, Amina, Klai, Kais, El Touati, Yamen, Ben Hadj-Alouane, Nejib

Journal:

International Journal of Information Technology and Web Engineering

Année:

2015

Fichier:

PDF, 1011 KB

2015

48

[ACM Press the 19th International Conference - Salzburg, Austria (2017.12.04-2017.12.06)] Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services - iiWAS '17 - Measuring opacity in web services

Bourouis, Amina, Klai, Kais, Hadj-Alouane, Nejib Ben

Année:

2017

Langue:

english

Fichier:

PDF, 634 KB

english, 2017

49

An Ontology-driven MapReduce Framework for Association Rules Mining in Massive Data

Gahar, Rania Mkhinini, Arfaoui, Olfa, Hidri, Minyar Sassi, Hadj-Alouane, Nejib Ben

Journal:

Procedia Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 397 KB

english, 2018

50

A Distributed Approach for High-Dimensionality Heterogeneous Data Reduction

Gahar, Rania Mkhinini, Arfaoui, Olfa, Hidri, Minyar Sassi, Hadj-Alouane, Nejib Ben

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 493 KB

english, 2019